1. Algebraic Informatics
Author: \ Andreas Maletti (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
Classification :
QA
76
.
76
.
A55
2015
E-Book
,
2. Communicating process architectures 2009 :
Author: edited by Peter H. Welch [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
Classification :
QA76
.
58
.
W58
2009
3. Computer-aided design of language processors
Author: Shangin, V. F.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
Classification :
QA
76
.
76
.
T83
S53
4. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
5. Coordination Models and Languages :
Author: Hanne Riis Nielson, Emilio Tuosto (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.
Classification :
QA76
.
758
6. Coordination models and languages
Author: / Dave Clarke, Gul Agha (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel processing (Electronic computers)--Congresses,Electronic data processing--Distributed processing--Congresses,Koordinationssprache--swd,Verteiltes System--swd,Nebenleaufigkeit--swd,Mobile Computing--swd,Amsterdam <2010>--swd
Classification :
QA
,
76
.
58
,.
C695
,
2010
7. DIANA An Intermediate Language for Ada
Author: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
73
.
A35
E358
1983
8. Deductive Software Verification – The KeY Book
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
Classification :
E-Book
,
9. Distributed Programmin
Author: / [electronic resource]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
Classification :
E-BOOK
10. Eclipse modeling project :
Author: Richard C. Gronback.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eclipse (Electronic resource),Eclipse (Electronic resource),Eclipse (Electronic resource),Computer software-- Development.,Programming languages (Electronic computers),Computer Science.,Computer software-- Development.,Eclipse 3,Engineering & Applied Sciences.,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
D47
G785
2009
11. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
12. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
13. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
14. Practical aspects of declarative languages
Author: Andy Gill, Terrance Swift (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
615
.
P33
2009eb
15. Programming languages
Author: Francisco Heron de Carvalho Junior, Luis Soares Barbosa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2012eb
16. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
17. Programming languages, a grand tour
Author: / edited by Ellis Horowitz
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
P78
1985
18. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
19. Programming languages and systems :
Author: Gilles Barthe (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
6
.
E97
2011
20. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
